We introduce a multimodal logic for order of magnitude reasoning which considers a new logic-based alternative to the notion of closeness, we provide an axiom system and prove its soundness and completeness.

ABSTRACT In this paper we present a new semantic approach for propositional linear temporal logic with discrete time, strongly based in the well-order of IN (the set of natural numbers). We consider temporal connectives which express precedence, posteriority and simultaneity, and they provide a family of expressively complete temporal logics. The selection of the new semantics and connectives used in this work was principally to obtain a suitable executable temporal logic, which can be used for the specification and control of (...) process behaviour in discrete time in a similar way to thai presented by D. Gabbay in [GAB 89], Our new approach has two advantages: firstly, the connectives are defined intuitively so that they have interpretations which relate to properties of interest in real systems; secondly, it provides a new semantics that facilitates simpler proofs of many valid formulas and metatheorems. To confirm this second advantage, we use our semantics to give a formal proof of the Separation Theorem for one of these logics (specifically LN3). The great interest of this Separation Theorem for the executable temporal logic is emphasised by D. Gabbay in [GAB 89], [GAB 88]. (shrink)

In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will be used to decide the elements that are close to each other. Some of the intuitions of this definition are explained on the basis of examples. We prove the decidability of the recently introduced multimodal logic for closeness and, then, we show some capabilities (...) of the logic with respect to expressivity in order to denote particular positions of the proximity intervals. (shrink)

Combining modalities has proven to have interesting applications and many approaches that combine time with other types of modalities have been developed. One of these approaches uses accessibility functions between flows of time to study the basic properties of the functions, such as being total or partial, injective, surjective, etc. The completeness of certain systems expressing many of these properties, with the exception of surjectivity, has been proven. In this paper we propose a language with nominals to denote the initial (...) and final sets of each function in a model in order to obtain a complete system for reasoning about surjective partial functions. (shrink)

Argument evaluation, one of the central problems in argumentation theory, consists in studying what makes an argument a good one. This paper proposes a formal approach to argument evaluation from the perspective of justification logic. We adopt a multi-agent setting, accepting the intuitive idea that arguments are always evaluated by someone. Two general restrictions are imposed on our analysis: non-deductive arguments are left out and the goal of argument evaluation is fixed: supporting a given proposition. Methodologically, our approach uses several (...) existing tools borrowed from justification logic, awareness logic, doxastic logic and logics for belief dependence. We start by introducing a basic logic for argument evaluation, where a list of argumentative and doxastic notions can be expressed. Later on, we discuss how to capture the mentioned form of argument evaluation by defining a preference operator in the object language. The intuitive picture behind this definition is that, when assessing a couple of arguments, the agent puts them to a test consisting of several criteria. As a result of this process, a preference relation among the evaluated arguments is established by the agent. After showing that this operator suffers a special form of logical omniscience, called preferential omniscience, we discuss how to define an explicit version of it, more suitable to deal with non-ideal agents. The present work exploits the formal notion of awareness in order to model several informal phenomena: awareness of sentences, availability of arguments and communication between agents and external sources. We discuss several extensions of the basic logic and offer completeness and decidability results for all of them. (shrink)

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use (...) indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one. (shrink)

Se trata de un número monográfico muy interesante, que integra un conjunto de trabajos de prestigiosos profesores universitarios—A. Clark, H. Simon, A. Gomila, J. Toribio, R. Tuomela, M. Liz, P.F. Martínez Freire, F. Broncano, C.J. Moya, P.S. Churchland, P.M. Churchland, A. Burrieza y A. Estany—sobre diversos temas candentes de la Filosofía de las Ciencias Cognitivas: cognición incorporizada, teorías computacionales de la cognición, mecanismos mentales de la intersubjetividad, responsabilidad semántica, intención conjunta y colectiva, relación entre el problema del mundo externo (...) y el problema ontológico de la experiencia subjetiva, la realidad desde la mente, relevancia filosófica de una teoría funcional de las emociones, problemas que plantean las emociones a la posibilidad de responsabilidad moral, neurobiología y conciencia, neurobiología cognitiva de las virtudes morales, tratamiento lógico de la conciencia en Inteligencia Artificial y ventajas epistémicas de la cognición socialmente distribuida. El agrupamiento de los artículos en partes diferenciadas es adecuado y coherente. Me habría gustado mucho seguirlo con orden y analizar sus contenidos con detalle; pero debo limitarme a un examen más general y a considerar simplemente las grandes tendencias o afinidades temáticas que se manifiestan a través de las páginas. Quizás lo más relevante sea la constatación efectiva de un fenómeno que se ha producido en la investigación actual sobre ciencias cognitivas y que señala A. Clark en su escrito: el redescubrimiento del cuerpo y el mundo, la crisis de una visión aislacionista de la cognición, y el surgimiento de un nuevo paradigma de patrones de actividad distribuidos a lo largo de trayectorias de procesamiento temporalmente extendidas mediante redes neuronales recurrentes. Se aprecia aquí que el énfasis se ha trasladado desde la representación simbólica hacia series reiteradas de interacciones agente-entorno. Y eso es lo prime-ro que cabría resaltar: el paulatino abandono del paradigma de representación simbólica y la atención creciente a las interacciones acopladas agente-mundo. (shrink)

Not being satisfied with the interpretation offered by Sankara and his followers, or some other teachers the author has attempted in the following pages to present to the readers his own interpretation of the work as he has understood it. But in no way does he claim that his interpretation is the interpretation, i.e., the interpretation intended by Gaudapada himself. In the present volume the author has given a new edition of the text of the Agamasastra based on a number (...) of MSS and different editions, followed by an English translation. After this comes his annotation. At the end there are Appendixes including the text and English translation of the Mandukya Upanisad, VAriants of the MSS used for the edition of the text of the Agamasastra, and different indexes. (shrink)

Now in its fifth edition, Good Reasoning Matters! is a practical guide to recognizing, evaluating, and constructing arguments. Combining straightforward instruction with abundant exercises and examples, this innovative introduction to argument schemes and rhetorical techniques will help students learn to think critically both within and beyond the classroom.

В книге на материале психолингвистических экспериментов рассматриваются этические взгляды современных русских и японцев, причем этика русских прослеживается в динамике: на рубежах начала 1990-х гг. и начала XXI века.

Книга рассчитана на тех, кто по своей специальности занимается философией, литературоведением и в дальнейшем углубят свои знания в этом вопросе, а также для широкого круга читателей.

The most interesting, and problematic, claim made by film-philosophy, for me, is the proposition that film thinks. This claim is interesting because it asserts that film has something philosophical to offer that philosophy itself lacks. It is problematic because we tend to think that where there is thinking, there must be a someone doing that thinking. And whatever film is, it is not a someone. This paper brings Karl Poppers model of objective knowledge what he calls knowledge in the absence (...) of a knowing subject to bear on the proposition that film thinks, in order to sketch out an account of film as a process of objective thinking distinct from that of philosophy or any other merely human mode of thought. (shrink)